DE eng

Search in the Catalogues and Directories

Page: 1 2 3 4 5...62
Hits 1 – 20 of 1.236

1
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2022 (2022)
BASE
Show details
2
Aligned and collaborative language-driven engineering ...
Zweihoff, Philip. - : TU Dortmund, 2022
BASE
Show details
3
A Formal Model of Checked C ...
Li, Liyi; Liu, Yiyun; Postol, Deena L.. - : arXiv, 2022
BASE
Show details
4
PACSafe: Leveraging ARM Pointer Authentication for Memory Safety in C/C++ ...
BASE
Show details
5
Compiler-Driven Simulation of Reconfigurable Hardware Accelerators ...
BASE
Show details
6
Source Matching and Rewriting ...
BASE
Show details
7
How ISO C became unusable for operating systems development ...
Yodaiken, Victor. - : arXiv, 2022
BASE
Show details
8
Quickstrom: Property Based Acceptance Testing with LTL Specifications ...
O'Connor, Liam; Wickström, Oskar. - : arXiv, 2022
BASE
Show details
9
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
Li, Wen. - : figshare, 2022
BASE
Show details
10
POLYCRUISE: A Cross-Language Dynamic Information Flow Analysis ...
Li, Wen. - : figshare, 2022
BASE
Show details
11
A Systematic Evaluation of Large Language Models of Code ...
BASE
Show details
12
On Reinforcement Learning, Effect Handlers, and the State Monad ...
BASE
Show details
13
Compilable Neural Code Generation with Compiler Feedback ...
Wang, Xin; Wang, Yasheng; Wan, Yao. - : arXiv, 2022
BASE
Show details
14
Formal Metatheory of Second-Order Abstract Syntax ...
BASE
Show details
15
Concepts et sémantique des langages de programmation 2 : constructions modulaires et objet avec OCaml, Python, C++, Ada et Java
Hardin, Thérèse; Jaume, Mathieu; Pessaux, François. - : HAL CCSD, 2021. : ISTE Editions, 2021
In: https://hal.archives-ouvertes.fr/hal-03030511 ; ISTE Editions, 2021, 9781784057022 (2021)
BASE
Show details
16
Multiplicative Linear Logic from Logic Programs and Tilings
In: https://hal.archives-ouvertes.fr/hal-02895111 ; 2021 (2021)
BASE
Show details
17
Language and semantics of expressions for Grafcet model synthesis in an MDE environment ; Langage et sémantique des expressions pour la synthèse de modèle Grafcet dans un environnement IDM
In: https://hal.archives-ouvertes.fr/hal-02558838 ; 2021 (2021)
BASE
Show details
18
A gentle introduction to Girard's Transcendental Syntax for the linear logician
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
19
Stellar Resolution: Multiplicatives - for the linear logician, through examples
In: https://hal.archives-ouvertes.fr/hal-02977750 ; 2021 (2021)
BASE
Show details
20
Concepts et sémantique des langages de programmation 1 : constructions fonctionnelles et impératives avec OCaml, Python, C et C++
Hardin, Thérèse; Jaume, Mathieu; Pessaux, François. - : HAL CCSD, 2021. : ISTE Editions, 2021
In: https://hal.archives-ouvertes.fr/hal-03030484 ; ISTE Editions, 2021, 9781784057015 (2021)
BASE
Show details

Page: 1 2 3 4 5...62

Catalogues
1
0
0
0
0
0
0
Bibliographies
8
0
0
0
0
0
0
0
7
Linked Open Data catalogues
0
Online resources
0
0
0
0
Open access documents
1.221
0
0
0
0
© 2013 - 2024 Lin|gu|is|tik | Imprint | Privacy Policy | Datenschutzeinstellungen ändern